Integrating cosx